翻訳と辞書
Words near each other
・ standard deviation
・ standard for robot exclusion
・ standard for the exchange of product model data
・ standard generalised markup language
・ standard generalized markup language
・ standard i/o
・ standard input/output
・ standard instrument control library
・ standard interpretation
・ standard lisp
・ standard ml
・ standard ml of new jersey
・ standard operating environment
・ standard semantics
・ standard widget toolkit
・ stanford artificial intelligence laboratory
・ stanford artificial intelligence language
・ stanford research institute
・ stanford university
・ staple


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Standard ML : FOLDOC
Standard ML
(SML) Originally an attempt by Robin Milner ca. 1984 to unify the dialects of ML, SML has evolved into a robust general-purpose language. Later versions have been maintained by D. B. MacQueen, Lal George , and J. H. Reppy at AT&T, and A. W. Appel .
SML is functional, with imperative programming features. It is environment based and strict. It adds to ML the {call-by-pattern} of Hope, {recursive data types}, {reference types}, typed exceptions, and modules. (The "core" language excludes the modules).
Standard ML is polymorphically typed and its module system supports flexible yet secure large-scale programming. Standard ML of New Jersey is an optimising {native-code compiler} for Standard ML that is written in Standard ML. It runs on a wide range of architectures. The distribution also contains: an extensive library - The Standard ML


スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.